7.07. The regular employee who works on a paid holiday or the day on which the holiday is carried over, where sections 7.02 and 7.04 apply, shall be paid time and a half his hourly wage currently paid in addition to the holiday pay.
O.C. 262-94, s. 10; O.C. 1382-99, s. 17.